// out_externals.cpp  (note: automatically generated file)
// Copyright (C) 2009 Willow Schlanger

#include "out_externals.h"

int extern_size[] = {
	/* EXTERN_AF */1,
	/* EXTERN_AH */1,
	/* EXTERN_AL */1,
	/* EXTERN_AX */2,
	/* EXTERN_BH */1,
	/* EXTERN_BL */1,
	/* EXTERN_BP */2,
	/* EXTERN_BX */2,
	/* EXTERN_CF */1,
	/* EXTERN_CH */1,
	/* EXTERN_CL */1,
	/* EXTERN_CS */2,
	/* EXTERN_CX */2,
	/* EXTERN_DF */1,
	/* EXTERN_DH */1,
	/* EXTERN_DI */2,
	/* EXTERN_DL */1,
	/* EXTERN_DS */2,
	/* EXTERN_DX */2,
	/* EXTERN_EAX */4,
	/* EXTERN_EBP */4,
	/* EXTERN_EBX */4,
	/* EXTERN_ECX */4,
	/* EXTERN_EDI */4,
	/* EXTERN_EDX */4,
	/* EXTERN_ES */2,
	/* EXTERN_ESI */4,
	/* EXTERN_ESP */4,
	/* EXTERN_FS */2,
	/* EXTERN_GS */2,
	/* EXTERN_IF */1,
	/* EXTERN_OF */1,
	/* EXTERN_PF */1,
	/* EXTERN_RAX */8,
	/* EXTERN_RBP */8,
	/* EXTERN_RBPX */8,
	/* EXTERN_RBX */8,
	/* EXTERN_RCX */8,
	/* EXTERN_RDI */8,
	/* EXTERN_RDX */8,
	/* EXTERN_RFLAGS */8,
	/* EXTERN_RINT */1,
	/* EXTERN_RIP */8,
	/* EXTERN_RIP1 */8,
	/* EXTERN_RIPC */8,
	/* EXTERN_RSI */8,
	/* EXTERN_RSP */8,
	/* EXTERN_RSPX */8,
	/* EXTERN_SF */1,
	/* EXTERN_SI */2,
	/* EXTERN_SP */2,
	/* EXTERN_SS */2,
	/* EXTERN_ZF */1,
	/* EXTERN_undefined */1,
	0
};

